Security and Privacy Challenges in the Internet of Things

The future Internet of Things as an intelligent collaboration of miniaturized sensors poses new challenges to security and end-user privacy. The ITU has identified that the protection of data and privacy of users is one of the key challenges in the Internet of Things [Int05]: lack of confidence about privacy will result in decreased adoption among users and therefore is one of the driving factors in the success of the Internet of Things. This paper gives an overview, categorization, and analysis of security and privacy challenges in the Internet of Things

Hybrid routing in delay tolerant networks

This work addresses the integration of today\\u27s infrastructure-based networks with infrastructure-less networks. The resulting Hybrid Routing System allows for communication over both network types and can help to overcome cost, communication, and overload problems. Mobility aspect resulting from infrastructure-less networks are analyzed and analytical models developed. For development and deployment of the Hybrid Routing System an overlay-based framework is presented

Hybrid Routing in Delay Tolerant Networks

This work addresses the integration of today\u27s infrastructure-based networks with infrastructure-less networks. The resulting Hybrid Routing System allows for communication over both network types and can help to overcome cost, communication, and overload problems. Mobility aspect resulting from infrastructure-less networks are analyzed and analytical models developed. For development and deployment of the Hybrid Routing System an overlay-based framework is presented

The formation of Jupiter by hybrid pebble-planetesimal accretion

The standard model for giant planet formation is based on the accretion of solids by a growing planetary embryo, followed by rapid gas accretion once the planet exceeds a so-called critical mass. The dominant size of the accreted solids (cm-size particles named pebbles or km to hundred km-size bodies named planetesimals) is, however, unknown. Recently, high-precision measurements of isotopes in meteorites provided evidence for the existence of two reservoirs in the early Solar System. These reservoirs remained separated from ~1 until ~ 3 Myr after the beginning of the Solar System's formation. This separation is interpreted as resulting from Jupiter growing and becoming a barrier for material transport. In this framework, Jupiter reached ~20 Earth masses within ~1 Myr and slowly grew to ~50 Earth masses in the subsequent 2 Myr before reaching its present-day mass. The evidence that Jupiter slowed down its growth after reaching 20 Earth masses for at least 2 Myr is puzzling because a planet of this mass is expected to trigger fast runaway gas accretion. Here, we use theoretical models to describe the conditions allowing for such a slow accretion and show that Jupiter grew in three distinct phases. First, rapid pebble accretion brought the major part of Jupiter's core mass. Second, slow planetesimal accretion provided the energy required to hinder runaway gas accretion during 2 Myr. Third, runaway gas accretion proceeded. Both pebbles and planetesimals therefore have an important role in Jupiter's formation.Comment: Published in Nature Astronomy on August 27, 201

Simulations, measurements and optimization of OLEDs with scattering layer

A multi-scale optical model for organic light-emitting devices containing scattering layers is presented. This model describes the radiation of embedded oscillating dipoles and scattering from spherical particles. After successful model validation with experiments on a top-emitting white OLED, we show how this tool can be used for optimization with specific targets

Diagnostic Performance of Rapid Antigen Testing for SARS-CoV-2: The COVid-19 AntiGen (COVAG) study

Background Rapid diagnostic testing for SARS-Cov-2 antigens is used to combat the ongoing pandemic. In this study we aimed to compare two RDTs, the SD Biosensor Q SARS-CoV-2 Rapid Antigen Test (Roche) and the Panbio COVID-19 Ag Rapid Test (Abbott), against rRT-PCR. Methods We included 2,215 all-comers at a diagnostic center between February 1 and March 31, 2021. rRT-PCR-positive samples were examined for SARS-CoV-2 variants. Findings Three hundred and thirty eight participants (15%) were rRT-PCR-positive for SARS-CoV-2. The sensitivities of Roche-RDT and Abbott-RDT were 60.4 and 56.8% ( P < 0.0001) and specificities 99.7% and 99.8% ( P = 0.076). Sensitivity inversely correlated with rRT-PCR-Ct values. The RDTs had higher sensitivities in individuals referred by treating physicians (79.5%, 78.7%) than in those referred by health departments (49.5%, 44.3%) or tested for other reasons (50%, 45.8%), in persons without any comorbidities (74.4%, 71%) compared to those with comorbidities (38.2%, 34.4%), in individuals with COVID-19 symptoms (75.2%, 74.3%) compared to those without (31.9%, 23.3%), and in the absence of SARS-CoV-2 variants (87.7%, 84%) compared to Alpha variant carriers (77.1%, 72.3%). If 10,000 symptomatic individuals are tested of which 500 are truly positive, the RDTs would generate 38 false-positive and 124 false-negative results. If 10,000 asymptomatic individuals are tested, including 50 true positives, 18 false-positives and 34 false-negatives would be generated. Interpretation The sensitivities of the two RDTs for asymptomatic SARS-CoV-2 carriers are unsatisfactory. Their widespread use may not be effective in the ongoing SARS-CoV-2 pandemic. The virus genotype influences the sensitivity of the two RDTs. RDTs should be evaluated for different SARS-CoV-2 variants

A Generic Framework for Implicate Generation Modulo Theories

International audienceThe clausal logical consequences of a formula are called its implicates. The generation of these implicates has several applications, such as the identification of missing hypotheses in a logical specification. We present a procedure that generates the implicates of a quantifier-free formula modulo a theory. No assumption is made on the considered theory, other than the existence of a decision procedure. The algorithm has been implemented (using the solvers MiniSAT, CVC4 and Z3) and experimental results show evidence of the practical relevance of the proposed approach

The Kahler Cone as Cosmic Censor

M-theory effects prevent five-dimensional domain-wall and black-hole solutions from developing curvature singularities. While so far this analysis was performed for particular models, we now present a model-independent proof that these solutions do not have naked singularities as long as the Kahler moduli take values inside the extended Kahler cone. As a by-product we obtain information on the regularity of the Kahler-cone metric at boundaries of the Kahler cone and derive relations between the geometry of moduli space and space-time.Comment: 21 pages, 1 figure. Improved discussion of the relation between Kahler moduli and five-dimensional scalars. No changes in the conclusion